High-level Transformations to Support Framework-Based Software Development
نویسندگان
چکیده
منابع مشابه
High-level Transformations to Support Framework-Based Software Development
In this paper, we show how elaborate support for framework-based software development can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. This support ranges from automatically verifying whether appropriate design constraints are preserved, over providing highlevel transformations that guide a developer when instantiating applications from...
متن کاملThe Elettra Object-oriented Framework for High Level Software Development
The new framework developed at ELETTRA is used to build model based accelerator control programs. The framework is fully object-oriented and has been designed following the UML methodology. The functions and responsibilities of the system are distributed among different modules, forming a hierarchy of layers of increasing level of abstraction. The system is fully distributed and is based on the...
متن کاملA Virtual Filesystem Framework to Support Embedded Software Development
A VIRTUAL FILESYSTEM FRAMEWORK TO SUPPORT EMBEDDED SOFTWARE DEVELOPMENT We present an approach to simplify the software development process for embedded systems by supporting key development tasks such as debugging, tracing and configuration. The approach is based on the use of distributed filesystem abstractions; principal building blocks within an embedded system in the form of “systems on ch...
متن کاملA Framework to Support Collaborative Software Development and Reusability
This paper motivates and sets out a framework for a high-level approach to software component integration. The approach provisions for smooth integration, management and scalability. It builds on the concept of SaaS (Software as a Service) and the annotation of software components with formal specifications that instruct interoperability through a unified interface. This work is part of ongoing...
متن کاملCHiLL: A Framework for Composing High-Level Loop Transformations
This paper describes a general and robust loop transformation framework that enables compilers to generate efficient code on complex loop nests. Despite two decades of prior research on loop optimization, performance of compiler-generated code often falls short of manually optimized versions, even for some well-studied BLAS kernels. There are two primary reasons for this. First, today’s compile...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80624-8